2,688 research outputs found
Practical Fine-grained Privilege Separation in Multithreaded Applications
An inherent security limitation with the classic multithreaded programming
model is that all the threads share the same address space and, therefore, are
implicitly assumed to be mutually trusted. This assumption, however, does not
take into consideration of many modern multithreaded applications that involve
multiple principals which do not fully trust each other. It remains challenging
to retrofit the classic multithreaded programming model so that the security
and privilege separation in multi-principal applications can be resolved.
This paper proposes ARBITER, a run-time system and a set of security
primitives, aimed at fine-grained and data-centric privilege separation in
multithreaded applications. While enforcing effective isolation among
principals, ARBITER still allows flexible sharing and communication between
threads so that the multithreaded programming paradigm can be preserved. To
realize controlled sharing in a fine-grained manner, we created a novel
abstraction named ARBITER Secure Memory Segment (ASMS) and corresponding OS
support. Programmers express security policies by labeling data and principals
via ARBITER's API following a unified model. We ported a widely-used, in-memory
database application (memcached) to ARBITER system, changing only around 100
LOC. Experiments indicate that only an average runtime overhead of 5.6% is
induced to this security enhanced version of application
Optimizing Coordinated Vehicle Platooning: An Analytical Approach Based on Stochastic Dynamic Programming
Platooning connected and autonomous vehicles (CAVs) can improve traffic and
fuel efficiency. However, scalable platooning operations require junction-level
coordination, which has not been well studied. In this paper, we study the
coordination of vehicle platooning at highway junctions. We consider a setting
where CAVs randomly arrive at a highway junction according to a general renewal
process. When a CAV approaches the junction, a system operator determines
whether the CAV will merge into the platoon ahead according to the positions
and speeds of the CAV and the platoon. We formulate a Markov decision process
to minimize the discounted cumulative travel cost, i.e. fuel consumption plus
travel delay, over an infinite time horizon. We show that the optimal policy is
threshold-based: the CAV will merge with the platoon if and only if the
difference between the CAV's and the platoon's predicted times of arrival at
the junction is less than a constant threshold. We also propose two
ready-to-implement algorithms to derive the optimal policy. Comparison with the
classical value iteration algorithm implies that our approach explicitly
incorporating the characteristics of the optimal policy is significantly more
efficient in terms of computation. Importantly, we show that the optimal policy
under Poisson arrivals can be obtained by solving a system of integral
equations. We also validate our results in simulation with Real-time Strategy
(RTS) using real traffic data. The simulation results indicate that the
proposed method yields better performance compared with the conventional
method
Customizing Indoor Wireless Coverage via 3D-Fabricated Reflectors
Judicious control of indoor wireless coverage is crucial in built environments. It enhances signal reception, reduces harmful interference, and raises the barrier for malicious attackers. Existing methods are either costly, vulnerable to attacks, or hard to configure. We present a low-cost, secure, and easy-to-configure approach that uses an easily-accessible, 3D-fabricated reflector to customize wireless coverage. With input on coarse-grained environment setting and preferred coverage (e.g., areas with signals to be strengthened or weakened), the system computes an optimized reflector shape tailored to the given environment. The user simply 3D prints the reflector and places it around a Wi-Fi access point to realize the target coverage. We conduct experiments to examine the efficacy and limits of optimized reflectors in different indoor settings. Results show that optimized reflectors coexist with a variety of Wi-Fi APs and correctly weaken or enhance signals in target areas by up to 10 or 6 dB, resulting to throughput changes by up to -63.3% or 55.1%
Pairwise Quantum Correlations for Superpositions of Dicke States
Pairwise correlation is really an important property for multi-qubit states.
For the two-qubit X states extracted from Dicke states and their superposition
states, we obtain a compact expression of the quantum discord by numerical
check. We then apply the expression to discuss the quantum correlation of the
reduced two-qubit states of Dicke states and their superpositions, and the
results are compared with those obtained by entanglement of formation, which is
a quantum entanglement measure.Comment: 17pages, 8 figures,slightly improved and slightly extended
version,and added some reference
Preclinical pharmacology, efficacy, and safety of varenicline in smoking cessation and clinical utility in high risk patients
Smoking is still the most prominent cause of preventable premature death in the United States and an increasing cause of morbidity and mortality throughout the world. Although the current treatments such as nicotine replacement therapy (NRT) and bupropion are effective, long-term abstinence rates are low. Mechanism studies suggest that the pleasurable effects of smoking are mediated predominantly by nicotine, which activates the brain reward system by activation of brain Ξ±4Ξ²2 nicotinic acetylcholine receptors (nAChRs). Varenicline is a novel Ξ±4Ξ²2 nAChR partial agonist and has been found to be even more effective than NRT or bupropion in attenuating smoking satisfaction and in relieving craving and withdrawal symptoms after abstinence. Thus, varenicline has been recently approved to be a first-line medication for smoking cessation in the United States and European countries. Varenicline is generally well tolerated in healthy adult smokers, with the most commonly reported adverse effects being nausea, insomnia, and headache. However, growing postmarketing data has linked varenicline to an increase in neuropsychiatric symptoms such as seizures, suicidal attempts, depression, and psychosis as well as serious injuries potentially relating to unconsciousness, dizziness, visual disturbances, or movement disorders. Therefore, new safety warnings are issued to certain high risk populations, such as patients with mental illness and operators of commercial vehicles and heavy machinery. In particular, pilots, air traffic controllers, truck and bus drivers have been banned from taking varenicline
- β¦